2010

Workshop

[1] Eun-Hye Choi, Hiroyuki Ozaki, Hayao Nakahara, Yoshiki Kinoshita, Masahiro Aoki, Keiichi Yoshisaka, Hiroshi Mine, and Toru Shimizu, "組込みネットワークシステムの形式モデル指向テストに向けて", ソフトウェア信頼性研究会第6回ワークショップ(FORCE2010)論文集, pp. 4--17, 2010.